change of base functor

[数] 基变换函子